SProc Categorically
نویسندگان
چکیده
We provide a systematic reconstruction of Abramsky's category SProc of synchronous processes Abr93]: SProc is isomorphic to a span category on a category of traces. The signiicance of the work is twofold: It shows that the original presentation of SProc in mixed formulations is unnecessary | a simple categorical description exists. Furthermore, the techniques employed in the reconstruction suggest a general method of obtaining process categories with structure similar to SProc. In particular, the method of obtaining bisimulation equivalence in our setting, which represents an extension of the work of Joyal, Nielsen and Winskel JNW93], has natural application in many settings.
منابع مشابه
Constructing process
A method of constructing process categories as generalized relations on a category of process models is presented. The construction may be viewed as a 2-functor, allowing structural properties of the process categories to be derived from the underlying structure of the model categories. In particular, this allows one to infer the presence of linear structure in a process category. The construct...
متن کاملA Specification Structure for Deadlock-Freedom of Synchronous Processes
Many diierent notions of \program property", and many diierent methods of verifying such properties, arise naturally in programming. We present a general framework of Speciication Structures for combining diierent notions and methods in a coherent fashion. We then apply the idea of speciication structures to concurrency in the setting of Interaction Categories. As a speciic example, a certain s...
متن کاملModelling SIGNAL in Interaction Categories
Abramsky has recently proposed Interaction Categories as a new paradigm for the semantics of sequential and parallel computation. Working with the category SProc of synchronous processes, which is a key example of an Interaction Category, we study synchronous dataaow as part of a programme of gaining experience in the use of Interaction Categories. After making some general points about represe...
متن کاملCategorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کاملEvent-related potentials and oscillatory brain responses associated with semantic and Stroop-like interference effects in overt naming.
Picture-word interference is a widely employed paradigm to investigate lexical access in word production: Speakers name pictures while trying to ignore superimposed distractor words. The distractor can be congruent to the picture (pictured cat, word cat), categorically related (pictured cat, word dog), or unrelated (pictured cat, word pen). Categorically related distractors slow down picture na...
متن کامل